1. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
2. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Automated deduction - A Basis for applications
پدیدآورنده : edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
4. Automated deduction-a basis for applications
پدیدآورنده : / edited by Wolfgang Bibel and Peter H.Schmitt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic,Symbolic and mathematical,Automatic theorem proving
رده :
QA
76
.
9
.
A96
1998
5. Automated theorem proving
پدیدآورنده : Wolfgang Bibel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
A96
W654
1987
6. Automated theorem proving
پدیدآورنده : Wolfgang Bibel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulation
رده :
QA76
.
9
.
A96
W654
1982
7. Automatisierung von Terminierungsbeweisen
پدیدآورنده : von Christoph Walther ; herausgegeben von Wolfgang Bibel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.
8. Deduction; automated logic
پدیدآورنده : Bibel, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Automatic theorem proving,، Artificial intelligence
رده :
QA
76
.
9
.
A96
.
B5213
1993
9. Künstliche Intelligenz :
پدیدآورنده : hrsg. von Wolfgang Bibel und Jörg H. Siekmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Artificial intelligence. Robotics. Simulation. Graphics.,Künstliche Intelligenz
رده :
Q335
.
5
H774
1982
10. Studien-und forschungsfuhrer kunstliche intelligenz
پدیدآورنده : Herausgegeben von Wolfgang Bibel ...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Societies, etc ، Artificial intelligence
رده :
Q
334
.
S88
11. Wissensrepräsentation und Inferenz :
پدیدآورنده : Wolfgang Bibel zusammen mit Steffen Hölldobler und Torsten Schaub.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Kognitionswissenschaft.,Künstliche Intelligenz.,Wissensrepräsentation.
رده :
BC199
.
I47
W654
1993
